Fixify: A Toolset for Automated Floating-point to Fixed-point Conversion
نویسنده
چکیده
Automation of the floating-point to fixed-point conversion of algorithmic descriptions is expected to produce significant improvements in the design process of embedded systems, in terms of its efficiency and error resilience. Although several analytical and statistical approaches to help the designer make the conversion trade-off between design parameters and implementation costs do exist, none are able to replace the designer in making the tradeoff itself. Fixify, a toolset for automated floating-point to fixed-point conversion is presented here. It uses existing optimisation heuristics to perform the conversion tradeoff, disburdening the designer and significantly improving the design process.
منابع مشابه
An Open Tool Integration Environment for Efficient Design of Embedded Systems in Wireless Communications
The design of embedded computer systems for modern wireless communication devices finds itself under increasing technological and commercial pressures. This design crisis is fueled by an unrelenting growth in algorithmic complexity, which by far outpaces the growth in design productivity, thus making it increasingly difficult to design entire embedded systems. On the other hand, the commercial ...
متن کاملAn automated floating-point to fixed-point conversion methodology
This work proposes a floating-point to fixed-point conversion (FFC) methodology for digital VLSI signal processing systems. The past techniques used to facilitate FFC are first reviewed, followed by a description based on a statistical approach and global optimization which allows a high degree of automation.
متن کاملSimulation Tools for Fixed Point DSP Algorithms and Architectures
This paper presents software tools that convert the C/C++ floating point source code for a DSP algorithm into a fixed point simulation model that can be used to evaluate the numerical performance of the algorithm on several different fixed point platforms including microprocessors, DSPs and FPGAs. The tools use a novel system for maintaining binary point information so that the conversion from ...
متن کاملSynthesis of Optimal Fixed-Point Implementation of Numerical Software Routines
In this paper, we present an automated technique swati: Synthesizing Wordlengths Automatically Using Testing and Induction, which uses a combination of Nelder-Mead optimization based testing, and induction from examples to automatically synthesize optimal fixedpoint implementation of numerical routines. The design of numerical software is commonly done using floating-point arithmetic in design-...
متن کاملSWATI: Synthesizing Wordlengths Automatically Using Testing and Induction
In this paper, we present an automated technique swati: Synthesizing Wordlengths Automatically Using Testing and Induction, which uses a combination of Nelder-Mead optimization based testing, and induction from examples to automatically synthesize optimal fixedpoint implementation of numerical routines. The design of numerical software is commonly done using floating-point arithmetic in design-...
متن کامل